Skip to content

Remove packageName property not defined in Java 8 #1643

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jan 10, 2023

Conversation

EgorkaKulikov
Copy link
Collaborator

Description

Removes packageName property not defined in Java 8

Type of Change

  • Minor bug fix (non-breaking small changes)

How Has This Been Tested?

Regression and integration tests

AssembleModelGeneratorTests

Automated Testing

Run contest estimator with Java 8 runtime

@sergeypospelov sergeypospelov merged commit 8ee46aa into main Jan 10, 2023
@sergeypospelov sergeypospelov deleted the egor/package_name_correction branch January 10, 2023 11:46
@alisevych alisevych added the ctg-bug-fix PR is fixing a bug label Jan 13, 2023
@EgorkaKulikov EgorkaKulikov added the comp-symbolic-engine Issue is related to the symbolic execution engine label Jan 23, 2023
@alisevych alisevych added this to the 2023.03 Release milestone Mar 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
comp-symbolic-engine Issue is related to the symbolic execution engine ctg-bug-fix PR is fixing a bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants